Lean 4 入出力
#Fleeting_Notes
code:haskell
def main : IO UInt32 := do
IO.println "hello"
IO.println "world"
return 0
#eval
main
確認用
Q. Lean 4 入出力
メモ
Interacting with Lean - Theorem Proving in Lean 4
調査用
/pogi-log/Google.icon
Lean 4 入出力
/pogi-log/Google.icon
Lean 4 input output